A Modal Logic for Pawlak's Approximation Spaces with Rough Cardinality n
نویسندگان
چکیده
The natural modal logic corresponding to Pawlak’s approximation spaces is S5, based on the box modality [R]A (and the diamond modality 〈R〉A = ¬[R]¬A), where R is the corresponding indiscernibility relation of the approximation space S = (W,R). However the expressive power of S5 is too weak and, for instance, we cannot express that the space S has exactly n equivalence classes ( we say that S is roughly-finite and n is the rough cardinality of S). For this reason we extend the modal logic S5 with a new box modality [S]A, where S is the complement of R i.e. the discernibility relation of W . We propose a complete axiomatization, in this new language, of the logic ROUGHn corresponding to the class of approximation spaces with rough cardinality n. We prove that the satisfiability problem for ROUGHn is NP-complete.
منابع مشابه
Generalization of Pawlak's rough approximation spaces by using δβ-open sets
Article history: Available online 24 May 2012
متن کاملModal Reasoning and Rough Set Theory
In this paper, we would like to present some modal logics with semantics based on rough set theory and related notions. In addition to surveying some well-known results about the links between modal logics and rough set theory, we also develop some new applied logics inspired I)y generalized rough set theory. Kcywor(ls: Rough set, modal logic, cpistcmic logic. 1 I n t r o d u c t i o n Tile rou...
متن کاملA Modal Characterization of Indiscernibility and Similarity Relations in Pawlak's Information Systems
متن کامل
Granular Computing on Extensional Functional Dependencies for Information System
Structure of Rough Approximations Based on Molecular Lattices p. 69 Rough Approximations under Level Fuzzy Sets p. 78 Fuzzy-Rough Modus Ponens and Modus Tollens as a Basis for Approximate Reasoning p. 84 Logic and Rough Sets Rough Truth, Consequence, Consistency and Belief Revision p. 95 A Note on Ziarko's Variable Precision Rough Set Model and Nonmonotonic Reasoning p. 103 Fuzzy Reasoning Base...
متن کاملS-APPROXIMATION SPACES: A FUZZY APPROACH
In this paper, we study the concept of S-approximation spaces in fuzzy set theory and investigate its properties. Along introducing three pairs of lower and upper approximation operators for fuzzy S-approximation spaces, their properties under different assumptions, e.g. monotonicity and weak complement compatibility are studied. By employing two thresholds for minimum acceptance accuracy and m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Fundam. Inform.
دوره 83 شماره
صفحات -
تاریخ انتشار 2008